<?php
     $menu = array(^);
?>